#include <stdio.h>
void fmtTxt(FILE*);

